441. Iteration theories
پدیدآورنده : Stephen L. Bloom, Zoltخ n اsik
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
,
I56
1993
442. Iteration theories
پدیدآورنده : Stephen L. Bloom, Zoltخ n اsik
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
,
I56
1993
443. Iteration theories : the equational logic of iterative processes
پدیدآورنده : Bloom, Stephen L.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computer science - Mathematics,، Iterative methods )Mathematics(,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
I56
1993
444. Joachim Lambek :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ;
445. Justification logic :
پدیدآورنده : Sergei Artemov (Graduate Center, City University of New York), Melvin Fitting (Graduate Center, City University of New York).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.,Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.
رده :
QA9
.
A78
2019
446. La consistance des theories formelles et le fondement des mathematiques
پدیدآورنده : Par Maurice Meigne
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Mathematics-- Philosophy,Logic, Symbolic and mathematical
447. La crise de la raison et la logique;conferences faites a l'Universite de Liege dans le cadre des echanges culturels belgo-neerlandais au mois de mai 1956
پدیدآورنده : Par E. W. Beth
موضوع : Mathematics--Philosophy.,Logic, Symbolic and mathematical.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
448. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
449. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, Johan F. A. K. van, 9491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
رده :
P
39
.
B46
450. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, J F A K van
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
451. Language, truth, and logic in mathematics
پدیدآورنده : / Jaakko Hintikka
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics , Philosophy,Logic, Symbolic and mathematical
رده :
E-BOOK
452. Languages with expressions of infinite length
پدیدآورنده : Karp, Carol Ruth
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
K3
453. Languages with expressions of infinite length
پدیدآورنده : Karp, Carol R.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Infinitary languages,، Logic, Symbolic and mathematical
رده :
BC
135
.
K37
454. Le raisonnement mathematique
پدیدآورنده : Par R. Daval et G. T. Guilbaud
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Logic, Symbolic and mathematical.,Mathematics-Philosophy
455. Lectures in logic and set theory
پدیدآورنده : Tourlakis, George J.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68
2003
456. Lectures in logic and set theory
پدیدآورنده : / George Tourlakis
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic, Symbolic and mathematical,Set theory
رده :
QA9
.
2
.
T68
2003
457. Lectures in logic and set theory
پدیدآورنده : / George Tourlakis
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic, Symbolic and mathematical,Set theory
رده :
QA9
.
2
.
T68
2003
458. Lectures in logic and set theory
پدیدآورنده : Tourlakis, George J.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68L42
459. Lectures on non-standard analysis
پدیدآورنده : Machover, Moshe
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical,، Uniform spaces
رده :
QA
3
.
L28
no
.
94
